package org.andes.kownledge.operator;

import org.andes.base.Bindings;

public class Num extends Term {
	private int value;
	public Num(int value1){
		value=value1;
	}

	public int getValue(){
		return value;
	}
	@Override
	public Term renameVariable() {
		return new Num(value);
	}

	@Override
	public Term substBindings(Bindings bindings) {
		return new Num(value);
	}
	public String toString(){
		return String.valueOf(value);
	}

}
